#include<stdio.h>
int main()
{
    int a,b,c,sum;
    scanf("%d%d%d",&a,&b,&c);
    sum=0.2*a+0.3*b+0.5*c;
    printf("%d",sum);

}

